Monday, December 4
Other NP-Complete satisfiability problems